typedef void handler(void);

extern handler *undef_handler;
extern handler *swi_handler;
extern handler *prefetch_abort_handler;
extern handler *irq_handler;
extern handler *firq_handler;
extern handler *data_abort_handler;

void set_undef_stack(void *stackend);
void set_abort_stack(void *stackend);
void set_irq_stack(void *stackend);
void set_firq_stack(void *stackend);

// test_interrupts is the value you pass to set_vbar
extern uint32 *test_interrupts;


void setupInts(handler *p_gic_handler, handler *p_abort_handler, handler *p_undef_handler, handler *p_swi_handler);
void setTestVbar(void);

uint32 alt_mmu_disable2(void);

